-
1 formal description technique
метод формальных описаний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > formal description technique
-
2 Formal Description Technique (FDT)
метод формального описанияEnglish-Russian dictionary of modern telecommunications > Formal Description Technique (FDT)
-
3 valoda SDL
▪ Terminien Specification and Description Language, en SDL inf.lv Starptautiskās Telesakaru savienības izstrādāta formāla valoda, kas nodrošina precīzu telesakaru sistēmu specifikāciju un funkcionēšanas aprakstu izstrādāšanu. Izmanto gan grafisko, gan arī tekstuālo valodas SDL formu. Valodā SDL sistēmas apraksts tiek veidots kā savstarpēji savienotu paplašinātu galīgo automātu kompozīcija. sk. Estelle, sk. Formal Description Technique, sk. LOTOSru [ref dict="Tilde (Ru-Lv)"]язык SDL[/ref]LZAit▪ EuroTermBank terminiInf, Kom, ITru язык SDLETB -
4 FDT
1) Военный термин: fault detection tester, first destination transportation, flexible digital terminal, flight demonstration team, formatted data tape3) Сокращение: False Doppler Target (jamming), Flight Data Transmitter, Function Decision Table4) Вычислительная техника: Formal Description Technique, fluorescent discharge tube5) Расширение файла: Formated Data Tapes6) Программное обеспечение: Flash Development Toolkit, Function Digital Test7) Базы данных: Fundamental Data Type -
5 FDT
см. Formal Description TechniqueEnglish-Russian dictionary of modern telecommunications > FDT
-
6 formālās aprakstīšanas tehnika
▪ Terminien Formal Description Technique, en FDT inf.lv FDT tehnikalv Sakaru pakalpojumu un datoru tīklu protokolu formālu specifikāciju izstrādāšanas paņēmieni. FDT tehnikas diapazons ir visai plašs - no abstraktu līdz implementācijorientētu aprakstu veidošanai. Formālās aprakstīšanas paņēmieni atšķirībā no dabiskajām valodām, piedāvā līdzekļus precīzu un viennozīmīgu atvērto sistēmu sadarbības pakalpojumu un protokolu aprakstīšanai, kā arī veido bāzi apraksta formalizētai analīzei un verificēšanai. sk. Estelle, sk. LOTOS, sk. SDLru методы формального описанияLZAit▪ EuroTermBank terminiInf, Kom, ITlv FDT tehnikaru методы формального описанияETB -
7 valoda Estelle
▪ Terminien Estelle inf.lv Programmēšanas valodas Pascal paplašinājums datora tīklu protokolu formālu specifikāciju izstrādāšanai. Valodā Estelle protokoli tiek aprakstīti kā savstarpēji saistītu neterminētu galīgo automātu kompozīcija. sk. Formal Description Technique, sk. LOTOS, sk. SDLru [ref dict="Tilde (Ru-Lv)"]язык Estelle[/ref]LZAit▪ EuroTermBank terminiInf, Kom, ITru язык EstelleETB -
8 valoda LOTOS
▪ Terminien LOTOS, en Language of Temporal Ordering Specification inf.lv Formāla valoda, ko izmanto Starptautiskās standartizēšanas organizācijas izstrādāto atvērto sistēmu sadarbības protokolu specifikācijās, lai aprakstītu notikumu norisi laikā. sk. Estelle, sk. Formal Description Technique, sk. SDLru [ref dict="Tilde (Ru-Lv)"]язык LOTOS[/ref]LZAit▪ EuroTermBank terminiInf, Kom, ITru язык LOTOSETB -
9 FDT
бак трапных вод
(сбора протечек на АЭС)
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
метод формальных описаний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
очистка дренажей
очистка трапных вод
(ядерного реактора)
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > FDT
См. также в других словарях:
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia
Description — For other uses, see Description (disambiguation). Description is one of four rhetorical modes (also known as modes of discourse), along with exposition, argumentation, and narration. Each of the rhetorical modes is present in a variety of forms… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Literary technique — A literary technique (also, literary device, procedure or method) is any element or the entirety of elements a writer intentionally uses in the structure of their work.[1] It can be for example an identifiable rule of thumb, a convention, a… … Wikipedia
Language Of Temporal Ordering Specification — (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.ee also* Formal methods * List of ISO… … Wikipedia
Estelle — can refer to several meanings:Places* Estelle, Louisiana * Estelle (Arrigas), a hamlet in France, part of the commune of Arrigas, Gard * Estelle (Saint Jory), a hamlet in France, part of the commune of Saint Jory, Haute GaronnePeopleInfobox Given … Wikipedia
FDT — • Forum der Technik Teil des Deutschen Museums in München http://www.fdt.de/ • Formal Description Technique (ISO, IEC) … Acronyms
FDT — [1] Forum der Technik Teil des Deutschen Museums in München (http://www.fdt.de/) [2] Formal Description Technique (ISO, IEC) … Acronyms von A bis Z
метод формальных описаний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal description techniqueFDT … Справочник технического переводчика
FDT — comp. abbr. Formated Data Tapes abbr. Formal Description Technique … United dictionary of abbreviations and acronyms
arts, East Asian — Introduction music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature. Some studies of East Asia… … Universalium
